翻訳と辞書 Words near each other ・ Logica nova ・ Logica Universalis ・ Logical abacus ・ Logical access control ・ Logical address ・ Logical Analysis and History of Philosophy ・ Logical assertion ・ Logical atomism ・ Logical behaviorism ・ Logical biconditional ・ Logical block addressing ・ Logical clock ・ Logical conjunction ・ Logical connective ・ Logical consequence ・ Logical constant ・ Logical cube ・ Logical data model ・ Logical Decisions ・ Logical depth ・ Logical Design Works ・ Logical determinism ・ Logical disjunction ・ Logical disk ・ Logical Disk Manager ・ Logical effort ・ Logical equality ・ Logical equivalence ・ Logical equivalent ・ Logical extreme Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Logical constant ： ウィキペディア英語版 Logical constant In logic, a logical constant of a language $\backslash mathcal$ is a symbol that has the same semantic value under every interpretation of $\backslash mathcal$. Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic. One of the fundamental questions in the philosophy of logic is "What is a logical constant?"; that is, what special feature of certain constants makes them ''logical'' in nature?〔Carnap〕 Some symbols that are commonly treated as logical constants are: Many of these logical constants are sometimes denoted by alternate symbols (''e.g.'', the use of the symbol "&" rather than "∧" to denote the logical and). ==See also== *Non-logical symbol *Logical value *Logical connective 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Logical constant」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.